#include "sys_ext.h"
//#include "os_obj.h"

TX_INTERRUPT_SAVE_AREA;

/*******************************************************************************
* @brief  os_lock
* \param[in] none
* \retval: none
*******************************************************************************/
void os_lock(void)
{
    //osKernelLock();
    TX_DISABLE;
}

/*******************************************************************************
* @brief  os_unlock
* \param[in] none
* \retval: none
*******************************************************************************/
void os_unlock(void)
{
    //osKernelUnlock();
    TX_RESTORE;
}

